Higher-order abstract syntax - PDFSEARCH.IO - Document Search Engine

Higher-order abstract syntax
Results: 37

#	Item
21	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
22	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
23	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
24	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
25	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
26	Last Time on HOL ➜ Defining HOL ➜ Higher Order Abstract Syntax COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Computability theory Logic in computer science Mathematical logic Rewriting Confluence Lambda calculus Divergence Normal form Theoretical computer science Programming language theory Computer science
27	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
28	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
29	A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings∗ Aleksey Nogin Alexei Kopylov Xin Yu Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 09:14:14 Theoretical computer science Grammar Formal languages Logic programming Type theory Higher-order abstract syntax Free variables and bound variables Lambda calculus Syntax Mathematics Logic Software engineering
30	NOMINAL LOGIC PROGRAMMING A Dissertation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-11-18 09:15:28 Grammar Theoretical computer science Logic in computer science Nominal terms Denotational semantics Prolog Higher-order abstract syntax Syntax Programming language Mathematics Logic Programming language theory